Domain Specific MetaModeling for Deep Semantic Composability
نویسندگان
چکیده
منابع مشابه
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific software applications for computer-based systems. MIC is a model-based approach to software development, allowing the synthesis of application programs from models created using customized, domain-specific model integrated pr...
متن کاملA Unifying Semantic Framework for Multilevel Metamodeling
As the revision process of UML attempts to re-architecture the single and imprecise language into a family of languages with well–defined semantics, the nature of the core metamodeling framework is of growing importance. In the current paper, a formal mathematical background is presented for a uniform representation of multilevel metamodels and static well–formedness constraints supported by a ...
متن کاملHigher-Order Description Logics for Domain Metamodeling
We investigate an extension of Description Logics (DL) with higher-order capabilities, based on Henkin-style semantics. Our study starts from the observation that the various possibilities of adding higher-order constructs to a DL form a spectrum of increasing expressive power, including domain metamodeling, i.e., using concepts and roles as predicate arguments. We argue that higher-order featu...
متن کاملSemantic Specifications for Domain-Specific Modeling Languages
While there is a generic agreement that formal semantic specifications could resolve ambiguities in modeling languages, in practice, languages are often developed without such unambiguous specifications. In this paper, I propose a logic-based infrastructure for the specification of Domain-Specific Modeling Languages (DSML). The key advantage of the approach is the executability of the specifica...
متن کاملDomain-Specific Standards for Semantic Interoperability
To achieve effective communication, not only technical interfaces are required, but also common semantics for exchanged data. This talk focuses on problems of interoperability on the level of the application architecture, viz. Enterprise Application Integration [1]. The IEEE defines interoperability as the ability of two or more systems or components to exchange information and to use the infor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2018
ISSN: 2169-3536
DOI: 10.1109/access.2018.2822661